(0 17 15)(1 18 3)(2 6 4)(5 13 7)(8 14 9)(10 16 12)(11 20 19)
ALLOWS (11/8)-SEQUENCE
1: (6 11 20)
(0 17 15)(1 18 3)(2 6 19 11 4)(5 13 7)(8 14 9)(10 16 12)(20)
2: (5 13 7)
(0 17 15)(1 18 3)(2 6 19 11 4)(5)(7)(8 14 9)(10 16 12)(13)(20)
3: (10 16 12)
(0 17 15)(1 18 3)(2 6 19 11 4)(5)(7)(8 14 9)(10)(12)(13)(16)(20)
4: (4 19 11)
(0 17 15)(1 18 3)(2 6 19)(4)(5)(7)(8 14 9)(10)(11)(12)(13)(16)(20)